530 research outputs found
Coherence for Modalities
Positive modalities in systems in the vicinity of S4 and S5 are investigated
in terms of categorial proof theory. Coherence and maximality results are
demonstrated, and connections with mixed distributive laws and Frobenius
algebras are exhibited.Comment: 43 pages, minor addition
Coherence for Star-Autonomous Categories
This paper presents a coherence theorem for star-autonomous categories
exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric
monoidal closed categories. The proof of this theorem is based on a categorial
cut-elimination result, which is presented in some detail.Comment: 28 page
- …